Skip to main content

NASA Technical Reports Server (NTRS) 19890006936: Recent trends related to the use of formal methods in software engineering

Item Preview

SIMILAR ITEMS (based on metadata)